gluable2(A;I;l;tg)
== (destination(l)  ma-interface-locs(I))
==  (rcv(l,tg)  ma-interface-dom(I;destination(l)))
==  (A r ma-interface-valtype(I;destination(l);rcv(l,tg))) 

latex

---

clarification:

gluable2(A;I;l;tg)
== (destination(l)  ma-interface-locs(I)  Id)
==  (rcv(l,tg)  ma-interface-dom(I;destination(l))  Knd)
==  (A r ma-interface-valtype(I;destination(l);rcv(l,tg))) 

latex

Definitions	ma-interface-locs(I), Id, P  Q, (x  l), ma-interface-dom(I;i), Knd, ma-interface-valtype(I;i;k), destination(l), rcv(l,tg)
FDL editor aliases	gluable2